The cycle contraction mapping theorem

This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's contraction mapping theorem to a class of quasi metric spaces definable using the symmetric Partial Metric distance function. This work provides considerable evidence that it is possible after all to construct a metric theory for Scott style partial order domains

The topology of partial metric spaces

The T0 world of Scott's topological models used in the denotational semantics of programming languages may at first sight appear to have nothing whatever in common with the Hausdorff world of metric space theory. Can this be true though when the notion of "distance" is so important in the application of inductive proof theory to recursive definitions? This paper shows that existing work on the application of quasi metrics to denotational semantics can be taken much further than just describing Scott topologies. Using our "partial metric" we introduce a new approach by constructing each semantic domain as an Alexandrov topology "sandwiched" between two metric topologies. To be presented at the Eighth Summer Conference on General Topology and Applications, June 18-20 1992, Queens College, New York City

Web Usage Mining with Evolutionary Extraction of Temporal Fuzzy Association Rules

In Web usage mining, fuzzy association rules that have a temporal property can provide useful knowledge about when associations occur. However, there is a problem with traditional temporal fuzzy association rule mining algorithms. Some rules occur at the intersection of fuzzy sets' boundaries where there is less support (lower membership), so the rules are lost. A genetic algorithm (GA)-based solution is described that uses the flexible nature of the 2-tuple linguistic representation to discover rules that occur at the intersection of fuzzy set boundaries. The GA-based approach is enhanced from previous work by including a graph representation and an improved fitness function. A comparison of the GA-based approach with a traditional approach on real-world Web log data discovered rules that were lost with the traditional approach. The GA-based approach is recommended as complementary to existing algorithms, because it discovers extra rules. (C) 2013 Elsevier B.V. All rights reserved

Temporal fuzzy association rule mining with 2-tuple linguistic representation

This paper reports on an approach that contributes towards the problem of discovering fuzzy association rules that exhibit a temporal pattern. The novel application of the 2-tuple linguistic representation identifies fuzzy association rules in a temporal context, whilst maintaining the interpretability of linguistic terms. Iterative Rule Learning (IRL) with a Genetic Algorithm (GA) simultaneously induces rules and tunes the membership functions. The discovered rules were compared with those from a traditional method of discovering fuzzy association rules and results demonstrate how the traditional method can loose information because rules occur at the intersection of membership function boundaries. New information can be mined from the proposed approach by improving upon rules discovered with the traditional method and by discovering new rules

Stockmen's liability under the Missouri Nuisance Law (1979)

Reprint 2/79

Learning lost temporal fuzzy association rules

Fuzzy association rule mining discovers patterns in transactions, such as shopping baskets in a supermarket, or Web page accesses by a visitor to a Web site. Temporal patterns can be present in fuzzy association rules because the underlying process generating the data can be dynamic. However, existing solutions may not discover all interesting patterns because of a previously unrecognised problem that is revealed in this thesis. The contextual meaning of fuzzy association rules changes because of the dynamic feature of data. The static fuzzy representation and traditional search method are inadequate. The Genetic Iterative Temporal Fuzzy Association Rule Mining (GITFARM) framework solves the problem by utilising flexible fuzzy representations from a fuzzy rule-based system (FRBS). The combination of temporal, fuzzy and itemset space was simultaneously searched with a genetic algorithm (GA) to overcome the problem. The framework transforms the dataset to a graph for efficiently searching the dataset. A choice of model in fuzzy representation provides a trade-off in usage between an approximate and descriptive model. A method for verifying the solution to the hypothesised problem was presented. The proposed GA-based solution was compared with a traditional approach that uses an exhaustive search method. It was shown how the GA-based solution discovered rules that the traditional approach did not. This shows that simultaneously searching for rules and membership functions with a GA is a suitable solution for mining temporal fuzzy association rules. So, in practice, more knowledge can be discovered for making well-informed decisions that would otherwise be lost with a traditional approach.EPSRC DT

Observations of Rapid Disk-Jet Interaction in the Microquasar GRS 1915+105

We present evidence that ~ 30 minute episodes of jet formation in the Galactic microquasar GRS 1915+105 may sometimes entirely be a superposition of smaller, faster phenomena. We base this conclusion on simultaneous X-ray and infrared observations in July 2002, using the Rossi X-ray Timing Explorer and the Palomar 5 meter telescope. On two nights, we observed quasi-periodic infrared flares from GRS 1915+105, each accompanied by a set of fast oscillations in the X-ray light curve (indicating an interaction between the jet and accretion disk). In contrast to similar observations in 1997, we find that the duration of each X-ray cycle matches the duration of its accompanying infrared flare, and we observed one instance in which an isolated X-ray oscillation occurred at the same time as a faint infrared "subflare" (of duration ~ 150 seconds) superimposed on one of the main flares. From these data, we are able to conclude that each X-ray oscillation had an associated faint infrared flare and that these flares blend together to form, and entirely comprise, the ~ 30 minute events we observed. Part of the infrared emission in 1997 also appears to be due to superimposed small flares, but it was overshadowed by infrared-bright ejections associated with the appearance of a sharp "trigger" spike in each X-ray cycle that were not present in 2002. We also study the evolution of the X-ray spectrum and find significant differences in the high energy power law component, which was strongly variable in 1997 but not in 2002. Taken together, these observations reveal the diversity of ways in which the accretion disk and jet in black hole systems are capable of interacting and solidify the importance of the trigger spike for large ejections to occur on ~ 30 minute timescales in GRS 1915+105.Comment: 17 pages, 9 figures; accepted for publication in The Astrophysical Journa

A life course approach to the relationship between fetal growth and hypothalamic-pituitary-adrenal axis function

CONTEXT: Human and animal studies suggest that hypothalamic-pituitary-adrenal axis (HPA-A) function may be programmed in utero; however, these findings are inconsistent. Given the powerful metabolic actions of cortisol, it is important to clarify the influence of early life on adult HPA-A function. OBJECTIVE: To determine the relationship between fetal growth and HPA-A stress response to a psychosocial stressor in young adults. DESIGN: Multigenerational, prospective cohort study (the Raine Study) conducted between 1989 and 1991. SETTING: King Edward Memorial Hospital, Perth, Western Australia, Australia. PARTICIPANTS: A total of 917 participants aged 18 years from Gen2 of the Raine Study. MAIN OUTCOME MEASURES: Measures of hypothalamic-pituitary-adrenal axis function before and after exposure to the Trier Social Stress Test. RESULTS: In fully adjusted models, an inverse linear relationship was observed between birthweight and plasma measures of (1) baseline cortisol (β = -0.90%, 95% CI: -1.73 to -0.07; P = 0.03); (2) peak cortisol (β = -0.78%, 95% CI -1.51 to -0.06; P = 0.03); (3) area under the curve with respect to ground (β = -0.89%, 95% CI -1.60 to -0.18; P = 0.01); and (4) adrenal sensitivity (β = -1.02, 95% CI: -1.85 to -0.18; P = 0.02). Similar results were demonstrated for percent optimal birthweight. No consistent quadratic relationships were identified. No associations were found between measures of fetal adiposity and HPA-A function at age 18 years, or fetal growth and HPA-A response pattern. Removal of anticipatory responders from the models substantially attenuated the observed relationships. CONCLUSION: We observed an inverse linear relationship between fetal growth and HPA-A function at age 18 years. This differs from the inverse parabolic relationship (inverted U curve) reported in adults of advanced age. Altered adrenal sensitivity may underlie this relationship

Worker's compensation insurance

"Accidents can cause serious injuries, sometimes death, to farm employees. As employers of farm labor, farmers may be liable for injuries to employees arising from farm accidents. This guide describes general aspects of the Missouri worker's compensation law as it affects farmers' liability to employees injured or killed in work-related accidents. Consult your lawyers for competent advice for specific situations."--First page.Stephen F. Matthews, Coy G. McNabb, and John C. BanningRevised 2/82/10

Legal aspects of using pesticides

"Pesticides have contributed greatly to increased agricultural productivity. But some problems have come along, too. Users of agricultural chemicals face many technical and legal questions."--First page.Stephen F. Matthews and Coy G. McNabb (Agricultural Economics Department), and George W. Thomas (Entomology Department, College of Agriculture)Revised 9/79/15